Optimal. Leaf size=27 \[ -\frac{14}{25} e^{3 x} \sin (4 x)-\frac{23}{25} e^{3 x} \cos (4 x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0801718, antiderivative size = 27, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.158, Rules used = {6742, 4433, 4432} \[ -\frac{14}{25} e^{3 x} \sin (4 x)-\frac{23}{25} e^{3 x} \cos (4 x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6742
Rule 4433
Rule 4432
Rubi steps
\begin{align*} \int e^{3 x} (-5 \cos (4 x)+2 \sin (4 x)) \, dx &=\int \left (-5 e^{3 x} \cos (4 x)+2 e^{3 x} \sin (4 x)\right ) \, dx\\ &=2 \int e^{3 x} \sin (4 x) \, dx-5 \int e^{3 x} \cos (4 x) \, dx\\ &=-\frac{23}{25} e^{3 x} \cos (4 x)-\frac{14}{25} e^{3 x} \sin (4 x)\\ \end{align*}
Mathematica [A] time = 0.0912628, size = 22, normalized size = 0.81 \[ -\frac{1}{25} e^{3 x} (14 \sin (4 x)+23 \cos (4 x)) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.017, size = 103, normalized size = 3.8 \begin{align*} -{\frac{ \left ( 24\,\cos \left ( x \right ) +32\,\sin \left ( x \right ) \right ){{\rm e}^{3\,x}} \left ( \cos \left ( x \right ) \right ) ^{3}}{5}}+{\frac{ \left ( 24\,\cos \left ( x \right ) +16\,\sin \left ( x \right ) \right ){{\rm e}^{3\,x}}\cos \left ( x \right ) }{5}}-{\frac{3\, \left ({{\rm e}^{x}} \right ) ^{3}}{5}}-{\frac{8\,{{\rm e}^{3\,x}}\cos \left ( 4\,x \right ) }{25}}+{\frac{6\,{{\rm e}^{3\,x}}\sin \left ( 4\,x \right ) }{25}}-{\frac{8\,{{\rm e}^{3\,x}}\cos \left ( 2\,x \right ) }{13}}+{\frac{12\,{{\rm e}^{3\,x}}\sin \left ( 2\,x \right ) }{13}}-{\frac{4\,{{\rm e}^{3\,x}} \left ( 3\,\sin \left ( 2\,x \right ) -2\,\cos \left ( 2\,x \right ) \right ) }{13}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.10554, size = 53, normalized size = 1.96 \begin{align*} -\frac{2}{25} \,{\left (4 \, \cos \left (4 \, x\right ) - 3 \, \sin \left (4 \, x\right )\right )} e^{\left (3 \, x\right )} - \frac{1}{5} \,{\left (3 \, \cos \left (4 \, x\right ) + 4 \, \sin \left (4 \, x\right )\right )} e^{\left (3 \, x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.451213, size = 68, normalized size = 2.52 \begin{align*} -\frac{23}{25} \, \cos \left (4 \, x\right ) e^{\left (3 \, x\right )} - \frac{14}{25} \, e^{\left (3 \, x\right )} \sin \left (4 \, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.328428, size = 27, normalized size = 1. \begin{align*} - \frac{14 e^{3 x} \sin{\left (4 x \right )}}{25} - \frac{23 e^{3 x} \cos{\left (4 x \right )}}{25} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.14005, size = 53, normalized size = 1.96 \begin{align*} -\frac{2}{25} \,{\left (4 \, \cos \left (4 \, x\right ) - 3 \, \sin \left (4 \, x\right )\right )} e^{\left (3 \, x\right )} - \frac{1}{5} \,{\left (3 \, \cos \left (4 \, x\right ) + 4 \, \sin \left (4 \, x\right )\right )} e^{\left (3 \, x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]